Knowledge compilation from DNF to switch-list representations
نویسندگان
چکیده
In this short note we will present a less common way how to represent a Boolean function, namely a representation by switch-list. There are two problems connected to such representation: (1) a knowledge compilation problem, i.e. a problem of transforming a given representation of a Boolean function (e.g. a DNF, CNF, BDD ...) into a switch-listl representation, and (2) a knowledge compression problem, i.e. a problem of finding the most compact switch-list representation among those which represent the same function. We will summarize known results about these two problems and present a new one about the compilation
منابع مشابه
Efficient Representations for the Modal Logic S5
We investigate efficient representations of subjective formulas in the modal logic of knowledge, S5, and more generally of sets of sets of propositional assignments. One motivation for this study is contingent planning, for which many approaches use operations on such formulas, and can clearly take advantage of efficient representations. We study the language S5-DNF introduced by Bienvenu et al...
متن کاملKnowledge Compilation in the Modal Logic S5
In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the queries and transformations considered in the classical knowledge compilation map to S5. We then show that the notion of disjunctive normal form (DNF) can be profitably extended to the epistemic case; we prove that the DNF fragment of S5, when appropriately defined, satisfies...
متن کاملKnowledge Compilation Properties of Trees-of-BDDs, Revisited
Recent results have shown the interest of trees-ofBDDs [Subbarayan et al., 2007] as a suitable target language for propositional knowledge compilation from the practical side. In the present paper, the concept of tree-of-BDDs is extended to additional classes of data structures C thus leading to trees-of-C representations (ToC). We provide a number of generic results enabling one to determine t...
متن کاملConnecting Width and Structure in Knowledge Compilation
Several query evaluation tasks can be done via knowledge compilation: the query result is compiled as a lineage circuit from which the answer can be determined. For such tasks, it is important to leverage some width parameters of the circuit, such as bounded treewidth or pathwidth, to convert the circuit to structured classes, e.g., deterministic structured NNFs (d-SDNNFs) or OBDDs. In this wor...
متن کاملReduced Implicant Tries
The goal of knowledge compilation is to enable fast queries. Such queries are often in the form of conjunctive normal form (CNF) clauses, and the query amounts to the question of whether the clause is implied by the knowledge base. Here, we consider the dual type of query which is a DNF clause; the query then amounts to the question of whether the knowledge base is implied by the clause. Prior ...
متن کامل